perpendicular bisector theorem

join shbcf.ru